大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 with Applications 的图书(共4694本)

The Smart Internet [electronic resource] : Current Research and Future Applications

0
索取号:
作者:Chignell、 Mark.、Cordy、 James.、Ng、 Joanna.、Yesha、 Yelena.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Robotics and Applications [electronic resource] : Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part II

0
索取号:
作者:Liu、 Honghai.、Ding、 Han.、Xiong、 Zhenhua.、Zhu、 Xiangyang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Robotics and Applications [electronic resource] : Third International Conference, ICIRA 2010, Shanghai, China, November 10-12, 2010. Proceedings, Part I

0
索取号:
作者:Liu、 Honghai.、Ding、 Han.、Xiong、 Zhenhua.、Zhu、 Xiangyang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

0
索取号:
作者:Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

0
索取号:
作者:Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Public Key Infrastructures, Services and Applications [electronic resource] : 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers

0
索取号:
作者:Martinelli、 Fabio.、Preneel、 Bart.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Ubiquitous Knowledge Discovery [electronic resource] : Challenges, Techniques, Applications

0
索取号:
作者:May、 Michael.、Saitta、 Lorenza.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Conceptual Modeling-Applications and Challenges [electronic resource] : ER 2010 Workshops ACM-L, CMLSA, CMS, DE@ER, FP-UML, SeCoGIS, WISM, Vancouver, BC, Canada, November 1-4, 2010. Proceedings

0
索取号:
作者:Trujillo、 Juan.、Dobbie、 Gillian.、Kangassalo、 Hannu.、Hartmann、 Sven.、Kirchberg、 Markus.、Rossi、 Matti.、Reinhartz-Berger、 Iris.、Zim谩nyi、 Esteban.、Frasincar、 Flavius.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advanced Microsystems for Automotive Applications 2010 [electronic resource] : Smart Systems for Green Cars and Safe Mobility

0
索取号:
作者:Meyer、 Gereon.、Valldorf、 J眉rgen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Computing and Applications [electronic resource] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II

0
索取号:
作者:Zhu、 Rongbo.、Zhang、 Yanchun.、Liu、 Baoxiang.、Liu、 Chunfeng.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Information Computing and Applications [electronic resource] : International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part I

0
索取号:
作者:Zhu、 Rongbo.、Zhang、 Yanchun.、Liu、 Baoxiang.、Liu、 Chunfeng.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Rewriting Logic and Its Applications [electronic resource] : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

0
索取号:
作者:脰lveczky、 Peter Csaba.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Artificial Intelligence Applications and Innovations [electronic resource] : 6th IFIP WG 12.5 International Conference, AIAI 2010, Larnaca, Cyprus, October 6-7, 2010. Proceedings

0
索取号:
作者:Papadopoulos、 Harris.、Andreou、 Andreas S.、Bramer、 Max.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Evolutionary Statistical Procedures [electronic resource] : An Evolutionary Computation Approach to Statistical Procedures Designs and Applications

0
索取号:
作者:Baragona、 Roberto.、Battaglia、 Francesco.、Poli、 Irene.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Stochastic Differential Equations in Infinite Dimensions [electronic resource] : with Applications to Stochastic Partial Differential Equations

0
索取号:
作者:Gawarecki、 Leszek.、Mandrekar、 Vidyadhar.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Information Computing and Applications [electronic resource] : First International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings

0
索取号:
作者:Zhu、 Rongbo.、Zhang、 Yanchun.、Liu、 Baoxiang.、Liu、 Chunfeng.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类